COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Notes on CS226
C00003 ENDMK
C⊗;
Notes on CS226

1st lecture
	Importance of representation and epistemology.  The successive
simplifications of the house construction program to get the blocks
program.

2nd lecture
	More generalities.  Predicate calculus.  Exercise: characterize
domain with 10,000 elements.  Interpretations.  ∃x.∀y(p(x)⊃p(y) valid.
Start on checkerboard problem.  Mention of attachment.